منابع مشابه
PARTIAL QUADRUPOLE SPLITTING OF Fe-57 SPECIES PRODUCED FROM Co-57-LABELLED WERNER COMPLEXES
The quadrupole splittin values of the species produced from 'the 57~o(~~)57~e process were investigated in the various 58Co-labelled Werner-type co-ordination compounds. One of the two components of the decayed species found in the emission Mijssbauer svectra was assigned to high-spin species of Fe(I1) pr_oduced after the EC-decay based on their large quadrupole splittings and isomer shifts. Th...
متن کاملLabelled Clauses
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies a variety of deduction modes. These include different strategies such as set of support, as well as explicit case analysis, e.g., splitting. From a practical perspective, labelled clauses offer advantages in the case...
متن کاملBalanced Splitting and Rebalanced Splitting
Many systems of equations fit naturally in the form du/dt = A(u) + B(u). We may separate convection from diffusion, x-derivatives from y-derivatives, and (especially) linear from nonlinear. We alternate between integrating operators for dv/dt = A(v) and dw/dt = B(w). Noncommutativity (in the simplest case, of eAh and eBh) introduces a splitting error which persists even in the steady state. Sec...
متن کاملLabelled Modal Logics: Quantifiers
In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propo-sitional modal logics that includes K, D, T, B, S4, S4:2, KD45, and S5. Here we extend this approach to quantiied modal logics, providing for-malizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to bot...
متن کاملInvestigating Different Methods of Closed Shell Pistachios Splitting and Effects of Freezing Prior to Drying on Shell Splitting Percentage
In this study, different methods for shell splitting and the effect of freezing prior to drying on shell splitting percentage of pistachio were investigated. A completely randomized design was used to investigate the effects of different freezing temperatures (0, -6, -12 and -18°C), different drying temperatures (80, 90 and 100°C) and different cultivars (Akbari and Kalehghouchi) on shell split...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 2009
ISSN: 1012-2443,1573-7470
DOI: 10.1007/s10472-009-9150-9